菅谷 みどり
菅谷 みどりは未踏クリエータ。
テーマ "
ロバストな組み込み向けオペレーティングシステム
" で
2003年未踏本体
に採択された。共同開発者は
小林 宣幸
岩崎 匡寿
松浦 杏子
追川 修一
鈴木 裕介
。PMは
中島 達夫
。
未踏事業採択
2003年未踏本体
テーマ:
ロバストな組み込み向けオペレーティングシステム
PM:
中島 達夫
共同開発者:
小林 宣幸
岩崎 匡寿
松浦 杏子
追川 修一
鈴木 裕介
経歴
早稲田大学大学院 理工学研究科
2003年時点
横浜国立大学大学院／日本科学技術振興機構 CREST
2011-09-02時点
横浜国立大学
2013-01-11時点
芝浦工業大学 工学部 情報工学科 教授 2021年9月時点
活動
講演:
夏のプログラミング・シンポジウム2011「究極のGCに向けて」
2011-09-02
講演:
第54回プログラミングシンポジウム「ポスター発表 保証ケースにもとづく品質管理されたスクリプト処理系」
2013-01-11
https://researchmap.jp/read0210047